3

Semantics of OCL Operation Specifications

Year:
2004
Language:
english
File:
PDF, 349 KB
english, 2004
18

Ressourcen- und Energieeffizienz als Herausforderung für Märkte und Unternehmen

Year:
2008
Language:
english
File:
PDF, 81 KB
english, 2008
20

Ueber die Einwirkung von Senfölen auf Aminocrotonsäureester

Year:
1906
Language:
german
File:
PDF, 382 KB
german, 1906
24

Behavioural and abstractor specifications

Year:
1995
Language:
english
File:
PDF, 2.69 MB
english, 1995
25

A semi-algorithm for algebraic implementation proofs

Year:
1992
Language:
english
File:
PDF, 2.42 MB
english, 1992
26

Behavioural theories and the proof of behavioural properties

Year:
1996
Language:
english
File:
PDF, 3.83 MB
english, 1996
27

Towards sustainable energy systems: The related role of hydrogen

Year:
2006
Language:
english
File:
PDF, 427 KB
english, 2006
29

Process of fine milling for ceramic materials

Year:
1989
Language:
english
File:
PDF, 345 KB
english, 1989
34

Interface theories for concurrency and data

Year:
2011
Language:
english
File:
PDF, 717 KB
english, 2011
37

On institutions for modular coalgebraic specifications

Year:
2002
Language:
english
File:
PDF, 295 KB
english, 2002
38

Observational logic, constructor-based logic, and their duality

Year:
2003
Language:
english
File:
PDF, 406 KB
english, 2003
42

Über die Radikale in Natrium- und Kaliumperoxoborat

Year:
1968
Language:
german
File:
PDF, 244 KB
german, 1968
44

Electrochemical preparation of PbO films

Year:
1995
Language:
english
File:
PDF, 739 KB
english, 1995
48

Observational implementation of algebraic specifications

Year:
1991
Language:
english
File:
PDF, 2.47 MB
english, 1991
49

10 Frakturen in 21

Year:
2005
Language:
german
File:
PDF, 956 KB
german, 2005